Proof by Inspection

Just looking at all the variables and rules and concluding there is no other way.